<?php

echo "hi\n";